node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,27) :- #0.805.
link(27,1) :- #0.929.
link(1,36) :- #0.549.
link(36,1) :- #0.532.
link(1,58) :- #0.233.
link(58,1) :- #0.082.
link(1,62) :- #0.147.
link(62,1) :- #0.182.
link(1,66) :- #0.335.
link(66,1) :- #0.629.
link(1,67) :- #0.431.
link(67,1) :- #0.645.
link(1,78) :- #0.121.
link(78,1) :- #0.723.
link(1,103) :- #0.972.
link(103,1) :- #0.497.
link(1,107) :- #0.504.
link(107,1) :- #0.38.
link(1,110) :- #0.935.
link(110,1) :- #0.009.
link(1,121) :- #0.084.
link(121,1) :- #0.864.
link(2,11) :- #0.742.
link(11,2) :- #0.871.
link(2,12) :- #0.538.
link(12,2) :- #0.204.
link(2,16) :- #0.23.
link(16,2) :- #0.094.
link(2,24) :- #0.065.
link(24,2) :- #0.756.
link(2,25) :- #0.785.
link(25,2) :- #0.153.
link(2,38) :- #0.483.
link(38,2) :- #0.525.
link(2,75) :- #0.356.
link(75,2) :- #0.718.
link(2,78) :- #0.805.
link(78,2) :- #0.241.
link(2,83) :- #0.592.
link(83,2) :- #0.998.
link(2,112) :- #0.098.
link(112,2) :- #0.589.
link(2,119) :- #0.769.
link(119,2) :- #0.681.
link(2,121) :- #0.193.
link(121,2) :- #0.147.
link(2,129) :- #0.954.
link(129,2) :- #0.213.
link(3,32) :- #0.342.
link(32,3) :- #0.499.
link(3,36) :- #0.108.
link(36,3) :- #0.069.
link(3,39) :- #0.264.
link(39,3) :- #0.969.
link(3,45) :- #0.716.
link(45,3) :- #0.327.
link(3,55) :- #0.562.
link(55,3) :- #0.811.
link(3,56) :- #0.94.
link(56,3) :- #0.167.
link(3,66) :- #0.098.
link(66,3) :- #0.579.
link(3,67) :- #0.608.
link(67,3) :- #0.438.
link(3,78) :- #0.467.
link(78,3) :- #0.412.
link(3,81) :- #0.934.
link(81,3) :- #0.645.
link(3,101) :- #0.939.
link(101,3) :- #0.942.
link(3,108) :- #0.463.
link(108,3) :- #0.248.
link(3,119) :- #0.43.
link(119,3) :- #0.395.
link(4,23) :- #0.195.
link(23,4) :- #0.905.
link(4,25) :- #0.877.
link(25,4) :- #0.881.
link(4,35) :- #0.168.
link(35,4) :- #0.045.
link(4,38) :- #0.489.
link(38,4) :- #0.936.
link(4,39) :- #0.477.
link(39,4) :- #0.271.
link(4,53) :- #0.339.
link(53,4) :- #0.684.
link(4,77) :- #0.828.
link(77,4) :- #0.354.
link(4,82) :- #0.643.
link(82,4) :- #0.779.
link(4,94) :- #0.59.
link(94,4) :- #0.006.
link(4,109) :- #0.452.
link(109,4) :- #0.031.
link(4,120) :- #0.988.
link(120,4) :- #0.88.
link(4,123) :- #0.695.
link(123,4) :- #0.79.
link(4,133) :- #0.631.
link(133,4) :- #0.956.
link(5,16) :- #0.066.
link(16,5) :- #0.
link(5,32) :- #0.206.
link(32,5) :- #0.385.
link(5,43) :- #0.959.
link(43,5) :- #0.156.
link(5,49) :- #0.555.
link(49,5) :- #0.022.
link(5,58) :- #0.861.
link(58,5) :- #0.142.
link(5,62) :- #0.925.
link(62,5) :- #0.113.
link(5,104) :- #0.564.
link(104,5) :- #0.278.
link(5,113) :- #0.246.
link(113,5) :- #0.541.
link(5,128) :- #0.486.
link(128,5) :- #0.512.
link(5,129) :- #0.38.
link(129,5) :- #0.439.
link(5,132) :- #0.012.
link(132,5) :- #0.054.
link(5,133) :- #0.451.
link(133,5) :- #0.076.
link(6,7) :- #0.127.
link(7,6) :- #0.283.
link(6,13) :- #0.234.
link(13,6) :- #0.487.
link(6,33) :- #0.86.
link(33,6) :- #0.287.
link(6,36) :- #0.874.
link(36,6) :- #0.115.
link(6,40) :- #0.259.
link(40,6) :- #0.048.
link(6,48) :- #0.734.
link(48,6) :- #0.557.
link(6,57) :- #0.11.
link(57,6) :- #0.175.
link(6,63) :- #0.261.
link(63,6) :- #0.633.
link(6,73) :- #0.57.
link(73,6) :- #0.24.
link(6,103) :- #0.435.
link(103,6) :- #0.342.
link(6,111) :- #0.961.
link(111,6) :- #0.414.
link(6,120) :- #0.546.
link(120,6) :- #0.508.
link(6,126) :- #0.221.
link(126,6) :- #0.105.
link(6,132) :- #0.99.
link(132,6) :- #0.077.
link(7,9) :- #0.065.
link(9,7) :- #0.278.
link(7,11) :- #0.986.
link(11,7) :- #0.362.
link(7,16) :- #0.683.
link(16,7) :- #0.56.
link(7,17) :- #0.034.
link(17,7) :- #0.953.
link(7,23) :- #0.334.
link(23,7) :- #0.116.
link(7,47) :- #0.749.
link(47,7) :- #0.434.
link(7,49) :- #0.337.
link(49,7) :- #0.867.
link(7,72) :- #0.964.
link(72,7) :- #0.38.
link(7,93) :- #0.621.
link(93,7) :- #0.148.
link(7,109) :- #0.587.
link(109,7) :- #0.77.
link(7,124) :- #0.927.
link(124,7) :- #0.465.
link(8,16) :- #0.267.
link(16,8) :- #0.903.
link(8,19) :- #0.353.
link(19,8) :- #0.064.
link(8,24) :- #0.099.
link(24,8) :- #0.104.
link(8,25) :- #0.738.
link(25,8) :- #0.492.
link(8,45) :- #0.128.
link(45,8) :- #0.905.
link(8,57) :- #0.258.
link(57,8) :- #0.929.
link(8,62) :- #0.547.
link(62,8) :- #0.551.
link(8,65) :- #0.054.
link(65,8) :- #0.506.
link(8,69) :- #0.225.
link(69,8) :- #0.521.
link(8,76) :- #0.871.
link(76,8) :- #0.095.
link(8,77) :- #0.38.
link(77,8) :- #0.366.
link(8,120) :- #0.058.
link(120,8) :- #0.647.
link(8,128) :- #0.98.
link(128,8) :- #0.564.
link(9,25) :- #0.449.
link(25,9) :- #0.363.
link(9,33) :- #0.39.
link(33,9) :- #0.851.
link(9,35) :- #0.839.
link(35,9) :- #0.036.
link(9,52) :- #0.049.
link(52,9) :- #0.624.
link(9,58) :- #0.219.
link(58,9) :- #0.427.
link(9,73) :- #0.936.
link(73,9) :- #0.694.
link(9,114) :- #0.578.
link(114,9) :- #0.506.
link(9,124) :- #0.515.
link(124,9) :- #0.938.
link(9,127) :- #0.649.
link(127,9) :- #0.71.
link(10,27) :- #0.742.
link(27,10) :- #0.875.
link(10,28) :- #0.314.
link(28,10) :- #0.855.
link(10,39) :- #0.047.
link(39,10) :- #0.068.
link(10,58) :- #0.579.
link(58,10) :- #0.055.
link(10,69) :- #0.607.
link(69,10) :- #0.595.
link(10,90) :- #0.897.
link(90,10) :- #0.696.
link(10,110) :- #0.293.
link(110,10) :- #0.88.
link(10,112) :- #0.578.
link(112,10) :- #0.402.
link(10,117) :- #0.754.
link(117,10) :- #0.542.
link(10,132) :- #0.88.
link(132,10) :- #0.628.
link(11,14) :- #0.907.
link(14,11) :- #0.874.
link(11,17) :- #0.88.
link(17,11) :- #0.47.
link(11,22) :- #0.665.
link(22,11) :- #0.242.
link(11,31) :- #0.134.
link(31,11) :- #0.897.
link(11,37) :- #0.887.
link(37,11) :- #0.401.
link(11,40) :- #0.594.
link(40,11) :- #0.692.
link(11,56) :- #0.984.
link(56,11) :- #0.118.
link(11,59) :- #0.906.
link(59,11) :- #0.923.
link(11,63) :- #0.387.
link(63,11) :- #0.913.
link(11,65) :- #0.66.
link(65,11) :- #0.129.
link(11,85) :- #0.47.
link(85,11) :- #0.408.
link(11,89) :- #0.895.
link(89,11) :- #0.089.
link(11,90) :- #0.728.
link(90,11) :- #0.979.
link(11,92) :- #0.213.
link(92,11) :- #0.853.
link(11,95) :- #0.06.
link(95,11) :- #0.026.
link(11,113) :- #0.68.
link(113,11) :- #0.957.
link(11,115) :- #0.134.
link(115,11) :- #0.425.
link(12,20) :- #0.567.
link(20,12) :- #0.333.
link(12,25) :- #0.788.
link(25,12) :- #0.014.
link(12,32) :- #0.481.
link(32,12) :- #0.643.
link(12,33) :- #0.617.
link(33,12) :- #0.655.
link(12,45) :- #0.07.
link(45,12) :- #0.708.
link(12,55) :- #0.71.
link(55,12) :- #0.274.
link(12,64) :- #0.821.
link(64,12) :- #0.418.
link(12,68) :- #0.514.
link(68,12) :- #0.854.
link(12,71) :- #0.419.
link(71,12) :- #0.41.
link(12,72) :- #0.988.
link(72,12) :- #0.854.
link(12,80) :- #0.101.
link(80,12) :- #0.758.
link(12,84) :- #0.417.
link(84,12) :- #0.557.
link(12,88) :- #0.875.
link(88,12) :- #0.516.
link(12,109) :- #0.987.
link(109,12) :- #0.185.
link(12,124) :- #0.525.
link(124,12) :- #0.933.
link(12,125) :- #0.612.
link(125,12) :- #0.779.
link(12,127) :- #0.002.
link(127,12) :- #0.378.
link(13,28) :- #0.572.
link(28,13) :- #0.318.
link(13,61) :- #0.047.
link(61,13) :- #0.943.
link(13,74) :- #0.706.
link(74,13) :- #0.727.
link(13,77) :- #0.162.
link(77,13) :- #0.512.
link(13,97) :- #0.782.
link(97,13) :- #0.378.
link(13,105) :- #0.243.
link(105,13) :- #0.062.
link(13,115) :- #0.793.
link(115,13) :- #0.916.
link(13,117) :- #0.041.
link(117,13) :- #0.496.
link(13,119) :- #0.741.
link(119,13) :- #0.182.
link(13,130) :- #0.094.
link(130,13) :- #0.524.
link(13,133) :- #0.404.
link(133,13) :- #0.371.
link(14,15) :- #0.889.
link(15,14) :- #0.625.
link(14,23) :- #0.934.
link(23,14) :- #0.193.
link(14,24) :- #0.668.
link(24,14) :- #0.881.
link(14,31) :- #0.458.
link(31,14) :- #0.473.
link(14,38) :- #0.998.
link(38,14) :- #0.353.
link(14,44) :- #0.967.
link(44,14) :- #0.772.
link(14,50) :- #0.607.
link(50,14) :- #0.41.
link(14,52) :- #0.637.
link(52,14) :- #0.934.
link(14,80) :- #0.178.
link(80,14) :- #0.175.
link(14,81) :- #0.557.
link(81,14) :- #0.988.
link(14,85) :- #0.142.
link(85,14) :- #0.533.
link(14,88) :- #0.902.
link(88,14) :- #0.333.
link(14,96) :- #0.645.
link(96,14) :- #0.415.
link(14,102) :- #0.756.
link(102,14) :- #0.075.
link(14,111) :- #0.08.
link(111,14) :- #0.568.
link(14,113) :- #0.373.
link(113,14) :- #0.597.
link(14,133) :- #0.762.
link(133,14) :- #0.561.
link(15,16) :- #0.367.
link(16,15) :- #0.018.
link(15,28) :- #0.836.
link(28,15) :- #0.324.
link(15,31) :- #0.416.
link(31,15) :- #0.853.
link(15,34) :- #0.578.
link(34,15) :- #0.191.
link(15,81) :- #0.081.
link(81,15) :- #0.615.
link(15,84) :- #0.118.
link(84,15) :- #0.953.
link(15,94) :- #0.587.
link(94,15) :- #0.105.
link(15,96) :- #0.919.
link(96,15) :- #0.25.
link(15,103) :- #0.139.
link(103,15) :- #0.826.
link(15,114) :- #0.33.
link(114,15) :- #0.221.
link(15,117) :- #0.022.
link(117,15) :- #0.245.
link(15,122) :- #0.096.
link(122,15) :- #0.419.
link(15,127) :- #0.185.
link(127,15) :- #0.156.
link(16,29) :- #0.078.
link(29,16) :- #0.848.
link(16,44) :- #0.978.
link(44,16) :- #0.037.
link(16,51) :- #0.964.
link(51,16) :- #0.581.
link(16,69) :- #0.592.
link(69,16) :- #0.334.
link(16,71) :- #0.45.
link(71,16) :- #0.843.
link(16,105) :- #0.488.
link(105,16) :- #0.827.
link(16,128) :- #0.123.
link(128,16) :- #0.94.
link(16,129) :- #0.697.
link(129,16) :- #0.549.
link(17,18) :- #0.878.
link(18,17) :- #0.847.
link(17,50) :- #0.509.
link(50,17) :- #0.901.
link(17,54) :- #0.587.
link(54,17) :- #0.184.
link(17,85) :- #0.301.
link(85,17) :- #0.088.
link(17,106) :- #0.472.
link(106,17) :- #0.304.
link(17,124) :- #0.524.
link(124,17) :- #0.622.
link(17,129) :- #0.099.
link(129,17) :- #0.169.
link(17,131) :- #0.295.
link(131,17) :- #0.29.
link(17,132) :- #0.688.
link(132,17) :- #0.952.
link(18,46) :- #0.29.
link(46,18) :- #0.681.
link(18,63) :- #0.594.
link(63,18) :- #0.041.
link(18,68) :- #0.461.
link(68,18) :- #0.341.
link(18,71) :- #0.06.
link(71,18) :- #0.49.
link(18,80) :- #0.295.
link(80,18) :- #0.079.
link(18,81) :- #0.023.
link(81,18) :- #0.319.
link(18,87) :- #0.347.
link(87,18) :- #0.614.
link(18,114) :- #0.522.
link(114,18) :- #0.498.
link(18,115) :- #0.57.
link(115,18) :- #0.73.
link(18,128) :- #0.846.
link(128,18) :- #0.481.
link(19,21) :- #0.59.
link(21,19) :- #0.907.
link(19,25) :- #0.554.
link(25,19) :- #0.634.
link(19,35) :- #0.646.
link(35,19) :- #0.906.
link(19,52) :- #0.052.
link(52,19) :- #0.792.
link(19,90) :- #0.252.
link(90,19) :- #0.167.
link(19,97) :- #0.937.
link(97,19) :- #0.897.
link(19,103) :- #0.861.
link(103,19) :- #0.105.
link(19,115) :- #0.452.
link(115,19) :- #0.631.
link(20,40) :- #0.495.
link(40,20) :- #0.001.
link(20,43) :- #0.468.
link(43,20) :- #0.274.
link(20,45) :- #0.69.
link(45,20) :- #0.272.
link(20,57) :- #0.363.
link(57,20) :- #0.399.
link(20,70) :- #0.435.
link(70,20) :- #0.606.
link(20,72) :- #0.35.
link(72,20) :- #0.399.
link(20,78) :- #0.461.
link(78,20) :- #0.766.
link(20,81) :- #0.517.
link(81,20) :- #0.128.
link(20,88) :- #0.098.
link(88,20) :- #0.477.
link(20,98) :- #0.308.
link(98,20) :- #0.947.
link(20,102) :- #0.649.
link(102,20) :- #0.885.
link(20,103) :- #0.174.
link(103,20) :- #0.315.
link(20,110) :- #0.204.
link(110,20) :- #0.666.
link(20,115) :- #0.707.
link(115,20) :- #0.368.
link(20,117) :- #0.899.
link(117,20) :- #0.226.
link(21,41) :- #0.99.
link(41,21) :- #0.108.
link(21,44) :- #0.934.
link(44,21) :- #0.18.
link(21,57) :- #0.079.
link(57,21) :- #0.217.
link(21,61) :- #0.094.
link(61,21) :- #0.704.
link(21,99) :- #0.12.
link(99,21) :- #0.925.
link(21,129) :- #0.915.
link(129,21) :- #0.523.
link(21,130) :- #0.482.
link(130,21) :- #0.776.
link(21,131) :- #0.064.
link(131,21) :- #0.561.
link(22,25) :- #0.423.
link(25,22) :- #0.767.
link(22,34) :- #0.419.
link(34,22) :- #0.338.
link(22,37) :- #0.094.
link(37,22) :- #0.884.
link(22,54) :- #0.973.
link(54,22) :- #0.275.
link(22,58) :- #0.402.
link(58,22) :- #0.987.
link(22,65) :- #0.173.
link(65,22) :- #0.516.
link(22,68) :- #0.253.
link(68,22) :- #0.897.
link(22,73) :- #0.051.
link(73,22) :- #0.898.
link(22,97) :- #0.675.
link(97,22) :- #0.033.
link(22,110) :- #0.217.
link(110,22) :- #0.196.
link(22,113) :- #0.942.
link(113,22) :- #0.469.
link(22,114) :- #0.083.
link(114,22) :- #0.958.
link(22,124) :- #0.381.
link(124,22) :- #0.752.
link(22,126) :- #0.007.
link(126,22) :- #0.548.
link(23,36) :- #0.351.
link(36,23) :- #0.426.
link(23,40) :- #0.981.
link(40,23) :- #0.753.
link(23,43) :- #0.882.
link(43,23) :- #0.122.
link(23,44) :- #0.276.
link(44,23) :- #0.323.
link(23,57) :- #0.74.
link(57,23) :- #0.33.
link(23,60) :- #0.87.
link(60,23) :- #0.541.
link(23,62) :- #0.555.
link(62,23) :- #0.968.
link(23,64) :- #0.237.
link(64,23) :- #0.727.
link(23,67) :- #0.293.
link(67,23) :- #0.483.
link(23,71) :- #0.312.
link(71,23) :- #0.863.
link(23,73) :- #0.231.
link(73,23) :- #0.021.
link(23,131) :- #0.386.
link(131,23) :- #0.29.
link(23,133) :- #0.012.
link(133,23) :- #0.994.
link(24,28) :- #0.705.
link(28,24) :- #0.005.
link(24,29) :- #0.081.
link(29,24) :- #0.92.
link(24,36) :- #0.482.
link(36,24) :- #0.067.
link(24,37) :- #0.026.
link(37,24) :- #0.246.
link(24,38) :- #0.432.
link(38,24) :- #0.377.
link(24,43) :- #0.338.
link(43,24) :- #0.184.
link(24,44) :- #0.322.
link(44,24) :- #0.663.
link(24,69) :- #0.838.
link(69,24) :- #0.569.
link(24,72) :- #0.033.
link(72,24) :- #0.427.
link(24,79) :- #0.274.
link(79,24) :- #0.91.
link(24,81) :- #0.525.
link(81,24) :- #0.317.
link(24,89) :- #0.183.
link(89,24) :- #0.157.
link(24,104) :- #0.529.
link(104,24) :- #0.543.
link(24,105) :- #0.288.
link(105,24) :- #0.977.
link(24,113) :- #0.913.
link(113,24) :- #0.492.
link(24,117) :- #0.106.
link(117,24) :- #0.32.
link(24,132) :- #0.039.
link(132,24) :- #0.293.
link(25,33) :- #0.763.
link(33,25) :- #0.856.
link(25,41) :- #0.983.
link(41,25) :- #0.225.
link(25,45) :- #0.865.
link(45,25) :- #0.957.
link(25,53) :- #0.015.
link(53,25) :- #0.268.
link(25,56) :- #0.637.
link(56,25) :- #0.647.
link(25,65) :- #0.622.
link(65,25) :- #0.752.
link(25,71) :- #0.999.
link(71,25) :- #0.759.
link(25,79) :- #0.714.
link(79,25) :- #0.716.
link(25,81) :- #0.222.
link(81,25) :- #0.901.
link(25,95) :- #0.498.
link(95,25) :- #0.821.
link(25,132) :- #0.678.
link(132,25) :- #0.987.
link(26,33) :- #0.038.
link(33,26) :- #0.18.
link(26,50) :- #0.916.
link(50,26) :- #0.859.
link(26,63) :- #0.458.
link(63,26) :- #0.409.
link(26,81) :- #0.076.
link(81,26) :- #0.858.
link(26,84) :- #0.492.
link(84,26) :- #0.306.
link(26,98) :- #0.854.
link(98,26) :- #0.202.
link(26,115) :- #0.901.
link(115,26) :- #0.513.
link(26,116) :- #0.006.
link(116,26) :- #0.512.
link(26,120) :- #0.824.
link(120,26) :- #0.067.
link(26,127) :- #0.454.
link(127,26) :- #0.095.
link(27,50) :- #0.311.
link(50,27) :- #0.073.
link(27,54) :- #0.558.
link(54,27) :- #0.217.
link(27,56) :- #0.821.
link(56,27) :- #0.713.
link(27,63) :- #0.06.
link(63,27) :- #0.306.
link(27,86) :- #0.048.
link(86,27) :- #0.085.
link(27,87) :- #0.773.
link(87,27) :- #0.018.
link(27,90) :- #0.899.
link(90,27) :- #0.831.
link(27,94) :- #0.559.
link(94,27) :- #0.423.
link(27,105) :- #0.046.
link(105,27) :- #0.414.
link(27,110) :- #0.683.
link(110,27) :- #0.289.
link(27,111) :- #0.335.
link(111,27) :- #0.086.
link(27,119) :- #0.959.
link(119,27) :- #0.775.
link(27,129) :- #0.308.
link(129,27) :- #0.893.
link(27,130) :- #0.177.
link(130,27) :- #0.705.
link(27,134) :- #0.435.
link(134,27) :- #0.323.
link(28,34) :- #0.36.
link(34,28) :- #0.452.
link(28,36) :- #0.921.
link(36,28) :- #0.786.
link(28,47) :- #0.247.
link(47,28) :- #0.024.
link(28,54) :- #0.513.
link(54,28) :- #0.946.
link(28,65) :- #0.692.
link(65,28) :- #0.971.
link(28,66) :- #0.881.
link(66,28) :- #0.843.
link(28,76) :- #0.122.
link(76,28) :- #0.667.
link(28,81) :- #0.255.
link(81,28) :- #0.701.
link(28,86) :- #0.864.
link(86,28) :- #0.486.
link(28,88) :- #0.178.
link(88,28) :- #0.754.
link(28,105) :- #0.685.
link(105,28) :- #0.507.
link(28,109) :- #0.971.
link(109,28) :- #0.245.
link(28,129) :- #0.683.
link(129,28) :- #0.154.
link(28,132) :- #0.431.
link(132,28) :- #0.956.
link(29,35) :- #0.357.
link(35,29) :- #0.461.
link(29,39) :- #0.257.
link(39,29) :- #0.186.
link(29,41) :- #0.029.
link(41,29) :- #0.175.
link(29,43) :- #0.887.
link(43,29) :- #0.468.
link(29,45) :- #0.318.
link(45,29) :- #0.45.
link(29,47) :- #0.78.
link(47,29) :- #0.594.
link(29,52) :- #0.28.
link(52,29) :- #0.315.
link(29,72) :- #0.714.
link(72,29) :- #0.586.
link(29,73) :- #0.544.
link(73,29) :- #0.046.
link(29,81) :- #0.293.
link(81,29) :- #0.331.
link(29,84) :- #0.899.
link(84,29) :- #0.188.
link(29,96) :- #0.359.
link(96,29) :- #0.061.
link(29,103) :- #0.621.
link(103,29) :- #0.642.
link(29,104) :- #0.455.
link(104,29) :- #0.934.
link(29,109) :- #0.461.
link(109,29) :- #0.396.
link(29,117) :- #0.184.
link(117,29) :- #0.619.
link(29,120) :- #0.751.
link(120,29) :- #0.324.
link(29,128) :- #0.741.
link(128,29) :- #0.21.
link(30,38) :- #0.101.
link(38,30) :- #0.707.
link(30,45) :- #0.735.
link(45,30) :- #0.528.
link(30,50) :- #0.624.
link(50,30) :- #0.686.
link(30,54) :- #0.511.
link(54,30) :- #0.134.
link(30,73) :- #0.522.
link(73,30) :- #0.801.
link(30,78) :- #0.764.
link(78,30) :- #0.205.
link(30,101) :- #0.109.
link(101,30) :- #0.732.
link(30,124) :- #0.33.
link(124,30) :- #0.127.
link(30,128) :- #0.27.
link(128,30) :- #0.758.
link(31,32) :- #0.56.
link(32,31) :- #0.775.
link(31,34) :- #0.815.
link(34,31) :- #0.642.
link(31,38) :- #0.734.
link(38,31) :- #0.292.
link(31,44) :- #0.919.
link(44,31) :- #0.382.
link(31,45) :- #0.248.
link(45,31) :- #0.851.
link(31,51) :- #0.611.
link(51,31) :- #0.638.
link(31,55) :- #0.953.
link(55,31) :- #0.744.
link(31,57) :- #0.177.
link(57,31) :- #0.684.
link(31,66) :- #0.439.
link(66,31) :- #0.767.
link(31,70) :- #0.155.
link(70,31) :- #0.402.
link(31,74) :- #0.548.
link(74,31) :- #0.716.
link(31,78) :- #0.709.
link(78,31) :- #0.279.
link(31,83) :- #0.042.
link(83,31) :- #0.931.
link(31,102) :- #0.308.
link(102,31) :- #0.482.
link(31,121) :- #0.506.
link(121,31) :- #0.745.
link(31,122) :- #0.635.
link(122,31) :- #0.283.
link(32,39) :- #0.099.
link(39,32) :- #0.982.
link(32,45) :- #0.073.
link(45,32) :- #0.92.
link(32,52) :- #0.142.
link(52,32) :- #0.868.
link(32,59) :- #0.243.
link(59,32) :- #0.294.
link(32,70) :- #0.199.
link(70,32) :- #0.94.
link(32,74) :- #0.377.
link(74,32) :- #0.914.
link(32,77) :- #0.018.
link(77,32) :- #0.423.
link(32,83) :- #0.468.
link(83,32) :- #0.395.
link(32,92) :- #0.449.
link(92,32) :- #0.606.
link(32,95) :- #0.54.
link(95,32) :- #0.616.
link(32,96) :- #0.233.
link(96,32) :- #0.752.
link(32,115) :- #0.049.
link(115,32) :- #0.714.
link(32,133) :- #0.95.
link(133,32) :- #0.052.
link(32,134) :- #0.801.
link(134,32) :- #0.379.
link(33,46) :- #0.591.
link(46,33) :- #0.815.
link(33,54) :- #0.105.
link(54,33) :- #0.985.
link(33,57) :- #0.453.
link(57,33) :- #0.155.
link(33,62) :- #0.604.
link(62,33) :- #0.576.
link(33,72) :- #0.623.
link(72,33) :- #0.512.
link(33,76) :- #0.079.
link(76,33) :- #0.714.
link(33,85) :- #0.196.
link(85,33) :- #0.794.
link(33,87) :- #0.659.
link(87,33) :- #0.889.
link(33,99) :- #0.917.
link(99,33) :- #0.261.
link(33,100) :- #0.585.
link(100,33) :- #0.994.
link(33,119) :- #0.912.
link(119,33) :- #0.475.
link(33,121) :- #0.99.
link(121,33) :- #0.381.
link(33,125) :- #0.94.
link(125,33) :- #0.239.
link(34,36) :- #0.75.
link(36,34) :- #0.792.
link(34,37) :- #0.669.
link(37,34) :- #0.918.
link(34,52) :- #0.25.
link(52,34) :- #0.935.
link(34,53) :- #0.402.
link(53,34) :- #0.521.
link(34,74) :- #0.046.
link(74,34) :- #0.499.
link(34,88) :- #0.491.
link(88,34) :- #0.308.
link(34,89) :- #0.628.
link(89,34) :- #0.672.
link(34,99) :- #0.199.
link(99,34) :- #0.243.
link(34,107) :- #0.443.
link(107,34) :- #0.857.
link(34,114) :- #0.706.
link(114,34) :- #0.77.
link(34,117) :- #0.55.
link(117,34) :- #0.784.
link(34,121) :- #0.151.
link(121,34) :- #0.832.
link(34,126) :- #0.971.
link(126,34) :- #0.969.
link(34,129) :- #0.549.
link(129,34) :- #0.858.
link(35,41) :- #0.219.
link(41,35) :- #0.788.
link(35,46) :- #0.096.
link(46,35) :- #0.294.
link(35,47) :- #0.393.
link(47,35) :- #0.906.
link(35,48) :- #0.86.
link(48,35) :- #0.733.
link(35,49) :- #0.736.
link(49,35) :- #0.617.
link(35,55) :- #0.344.
link(55,35) :- #0.52.
link(35,62) :- #0.771.
link(62,35) :- #0.649.
link(35,67) :- #0.637.
link(67,35) :- #0.062.
link(35,68) :- #0.212.
link(68,35) :- #0.086.
link(35,77) :- #0.165.
link(77,35) :- #0.585.
link(35,81) :- #0.155.
link(81,35) :- #0.437.
link(35,97) :- #0.793.
link(97,35) :- #0.553.
link(35,102) :- #0.765.
link(102,35) :- #0.24.
link(35,111) :- #0.772.
link(111,35) :- #0.061.
link(35,112) :- #0.481.
link(112,35) :- #0.361.
link(35,115) :- #0.719.
link(115,35) :- #0.498.
link(35,123) :- #0.8.
link(123,35) :- #0.785.
link(35,127) :- #0.192.
link(127,35) :- #0.419.
link(36,45) :- #0.052.
link(45,36) :- #0.014.
link(36,58) :- #0.161.
link(58,36) :- #0.628.
link(36,63) :- #0.251.
link(63,36) :- #0.331.
link(36,67) :- #0.551.
link(67,36) :- #0.715.
link(36,74) :- #0.633.
link(74,36) :- #0.245.
link(36,111) :- #0.459.
link(111,36) :- #0.119.
link(36,119) :- #0.793.
link(119,36) :- #0.427.
link(36,133) :- #0.541.
link(133,36) :- #0.88.
link(37,53) :- #0.295.
link(53,37) :- #0.648.
link(37,57) :- #0.451.
link(57,37) :- #0.555.
link(37,62) :- #0.118.
link(62,37) :- #0.46.
link(37,71) :- #0.274.
link(71,37) :- #0.104.
link(37,94) :- #0.607.
link(94,37) :- #0.244.
link(37,109) :- #0.16.
link(109,37) :- #0.268.
link(37,112) :- #0.495.
link(112,37) :- #0.315.
link(37,124) :- #0.278.
link(124,37) :- #0.985.
link(37,125) :- #0.701.
link(125,37) :- #0.886.
link(38,44) :- #0.978.
link(44,38) :- #0.524.
link(38,47) :- #0.78.
link(47,38) :- #0.337.
link(38,51) :- #0.148.
link(51,38) :- #0.375.
link(38,80) :- #0.004.
link(80,38) :- #0.36.
link(38,84) :- #0.178.
link(84,38) :- #0.648.
link(38,92) :- #0.926.
link(92,38) :- #0.514.
link(38,95) :- #0.241.
link(95,38) :- #0.071.
link(38,99) :- #0.173.
link(99,38) :- #0.794.
link(38,100) :- #0.487.
link(100,38) :- #0.356.
link(38,112) :- #0.827.
link(112,38) :- #0.03.
link(38,125) :- #0.845.
link(125,38) :- #0.824.
link(39,86) :- #0.846.
link(86,39) :- #0.951.
link(39,105) :- #0.898.
link(105,39) :- #0.199.
link(39,106) :- #0.034.
link(106,39) :- #0.267.
link(39,132) :- #0.45.
link(132,39) :- #0.436.
link(40,41) :- #0.383.
link(41,40) :- #0.221.
link(40,50) :- #0.088.
link(50,40) :- #0.272.
link(40,51) :- #0.46.
link(51,40) :- #0.108.
link(40,68) :- #0.127.
link(68,40) :- #0.098.
link(40,71) :- #0.655.
link(71,40) :- #0.635.
link(40,81) :- #0.606.
link(81,40) :- #0.077.
link(40,85) :- #0.725.
link(85,40) :- #0.926.
link(40,87) :- #0.499.
link(87,40) :- #0.458.
link(40,98) :- #0.321.
link(98,40) :- #0.026.
link(40,109) :- #0.458.
link(109,40) :- #0.683.
link(40,113) :- #0.158.
link(113,40) :- #0.942.
link(40,115) :- #0.486.
link(115,40) :- #0.375.
link(40,133) :- #0.71.
link(133,40) :- #0.556.
link(40,135) :- #0.836.
link(135,40) :- #0.162.
link(41,44) :- #0.853.
link(44,41) :- #0.744.
link(41,52) :- #0.827.
link(52,41) :- #0.728.
link(41,71) :- #0.645.
link(71,41) :- #0.15.
link(41,73) :- #0.537.
link(73,41) :- #0.593.
link(41,76) :- #0.325.
link(76,41) :- #0.634.
link(41,77) :- #0.332.
link(77,41) :- #0.129.
link(41,83) :- #0.028.
link(83,41) :- #0.068.
link(41,90) :- #0.018.
link(90,41) :- #0.802.
link(41,107) :- #0.518.
link(107,41) :- #0.118.
link(41,108) :- #0.017.
link(108,41) :- #0.927.
link(41,112) :- #0.005.
link(112,41) :- #0.727.
link(41,113) :- #0.158.
link(113,41) :- #0.417.
link(41,116) :- #0.891.
link(116,41) :- #0.298.
link(41,119) :- #0.494.
link(119,41) :- #0.376.
link(41,126) :- #0.885.
link(126,41) :- #0.113.
link(41,129) :- #0.523.
link(129,41) :- #0.722.
link(41,135) :- #0.287.
link(135,41) :- #0.15.
link(42,56) :- #0.507.
link(56,42) :- #0.471.
link(42,58) :- #0.755.
link(58,42) :- #0.612.
link(42,76) :- #0.337.
link(76,42) :- #0.283.
link(42,91) :- #0.125.
link(91,42) :- #0.662.
link(42,109) :- #0.058.
link(109,42) :- #0.519.
link(42,116) :- #0.903.
link(116,42) :- #0.823.
link(42,122) :- #0.431.
link(122,42) :- #0.299.
link(43,69) :- #0.209.
link(69,43) :- #0.599.
link(43,83) :- #0.366.
link(83,43) :- #0.153.
link(43,89) :- #0.757.
link(89,43) :- #0.012.
link(43,99) :- #0.155.
link(99,43) :- #0.14.
link(43,106) :- #0.124.
link(106,43) :- #0.216.
link(43,112) :- #0.804.
link(112,43) :- #0.179.
link(43,114) :- #0.032.
link(114,43) :- #0.149.
link(43,133) :- #0.591.
link(133,43) :- #0.639.
link(44,54) :- #0.725.
link(54,44) :- #0.591.
link(44,59) :- #0.027.
link(59,44) :- #0.314.
link(44,65) :- #0.17.
link(65,44) :- #0.113.
link(44,77) :- #0.468.
link(77,44) :- #0.224.
link(44,78) :- #0.74.
link(78,44) :- #0.38.
link(44,91) :- #0.767.
link(91,44) :- #0.633.
link(44,109) :- #0.957.
link(109,44) :- #0.53.
link(44,110) :- #0.83.
link(110,44) :- #0.15.
link(44,118) :- #0.847.
link(118,44) :- #0.68.
link(45,75) :- #0.117.
link(75,45) :- #0.273.
link(45,84) :- #0.425.
link(84,45) :- #0.869.
link(45,96) :- #0.877.
link(96,45) :- #0.719.
link(45,102) :- #0.912.
link(102,45) :- #0.415.
link(45,103) :- #0.696.
link(103,45) :- #0.746.
link(45,111) :- #0.736.
link(111,45) :- #0.905.
link(45,120) :- #0.372.
link(120,45) :- #0.545.
link(45,122) :- #0.216.
link(122,45) :- #0.093.
link(45,129) :- #0.793.
link(129,45) :- #0.037.
link(46,56) :- #0.794.
link(56,46) :- #0.364.
link(46,94) :- #0.68.
link(94,46) :- #0.662.
link(46,105) :- #0.662.
link(105,46) :- #0.043.
link(46,109) :- #0.414.
link(109,46) :- #0.513.
link(46,110) :- #0.726.
link(110,46) :- #0.595.
link(46,129) :- #0.805.
link(129,46) :- #0.481.
link(47,79) :- #0.897.
link(79,47) :- #0.289.
link(47,86) :- #0.207.
link(86,47) :- #0.533.
link(47,98) :- #0.244.
link(98,47) :- #0.413.
link(47,106) :- #0.755.
link(106,47) :- #0.417.
link(47,117) :- #0.228.
link(117,47) :- #0.008.
link(47,132) :- #0.371.
link(132,47) :- #0.612.
link(48,49) :- #0.092.
link(49,48) :- #0.837.
link(48,53) :- #0.189.
link(53,48) :- #0.263.
link(48,59) :- #0.035.
link(59,48) :- #0.136.
link(48,64) :- #0.014.
link(64,48) :- #0.875.
link(48,65) :- #0.488.
link(65,48) :- #0.293.
link(48,70) :- #0.59.
link(70,48) :- #0.283.
link(48,71) :- #0.072.
link(71,48) :- #0.041.
link(48,81) :- #0.887.
link(81,48) :- #0.574.
link(48,85) :- #0.45.
link(85,48) :- #0.015.
link(48,94) :- #0.117.
link(94,48) :- #0.306.
link(48,95) :- #0.723.
link(95,48) :- #0.351.
link(49,57) :- #0.055.
link(57,49) :- #0.409.
link(49,69) :- #0.423.
link(69,49) :- #0.788.
link(49,100) :- #0.907.
link(100,49) :- #0.05.
link(49,118) :- #0.769.
link(118,49) :- #0.967.
link(50,57) :- #0.878.
link(57,50) :- #0.457.
link(50,81) :- #0.444.
link(81,50) :- #0.867.
link(50,85) :- #0.828.
link(85,50) :- #0.302.
link(50,86) :- #0.707.
link(86,50) :- #0.006.
link(50,100) :- #0.615.
link(100,50) :- #0.559.
link(50,104) :- #0.362.
link(104,50) :- #0.94.
link(50,105) :- #0.591.
link(105,50) :- #0.57.
link(50,108) :- #0.987.
link(108,50) :- #0.904.
link(50,118) :- #0.059.
link(118,50) :- #0.163.
link(50,133) :- #0.318.
link(133,50) :- #0.197.
link(51,52) :- #0.695.
link(52,51) :- #0.281.
link(51,53) :- #0.78.
link(53,51) :- #0.234.
link(51,54) :- #0.903.
link(54,51) :- #0.698.
link(51,57) :- #0.758.
link(57,51) :- #0.181.
link(51,58) :- #0.885.
link(58,51) :- #0.668.
link(51,62) :- #0.08.
link(62,51) :- #0.798.
link(51,66) :- #0.918.
link(66,51) :- #0.762.
link(51,72) :- #0.762.
link(72,51) :- #0.893.
link(51,75) :- #0.677.
link(75,51) :- #0.002.
link(51,76) :- #0.988.
link(76,51) :- #0.459.
link(51,79) :- #0.64.
link(79,51) :- #0.585.
link(51,87) :- #0.328.
link(87,51) :- #0.735.
link(51,104) :- #0.05.
link(104,51) :- #0.941.
link(51,108) :- #0.998.
link(108,51) :- #0.753.
link(51,110) :- #0.958.
link(110,51) :- #0.458.
link(51,116) :- #0.611.
link(116,51) :- #0.273.
link(51,117) :- #0.554.
link(117,51) :- #0.373.
link(51,130) :- #0.006.
link(130,51) :- #0.761.
link(51,131) :- #0.907.
link(131,51) :- #0.083.
link(51,133) :- #0.76.
link(133,51) :- #0.479.
link(52,53) :- #0.959.
link(53,52) :- #0.282.
link(52,75) :- #0.526.
link(75,52) :- #0.891.
link(52,85) :- #0.
link(85,52) :- #0.078.
link(52,94) :- #0.169.
link(94,52) :- #0.047.
link(52,100) :- #0.048.
link(100,52) :- #0.842.
link(52,102) :- #0.298.
link(102,52) :- #0.211.
link(53,55) :- #0.646.
link(55,53) :- #0.2.
link(53,64) :- #0.429.
link(64,53) :- #0.643.
link(53,69) :- #0.315.
link(69,53) :- #0.179.
link(53,80) :- #0.085.
link(80,53) :- #0.693.
link(53,81) :- #0.543.
link(81,53) :- #0.211.
link(53,87) :- #0.235.
link(87,53) :- #0.432.
link(53,98) :- #0.139.
link(98,53) :- #0.936.
link(53,102) :- #0.927.
link(102,53) :- #0.291.
link(53,134) :- #0.457.
link(134,53) :- #0.671.
link(54,75) :- #0.8.
link(75,54) :- #0.04.
link(54,111) :- #0.467.
link(111,54) :- #0.116.
link(54,133) :- #0.577.
link(133,54) :- #0.075.
link(55,57) :- #0.468.
link(57,55) :- #0.378.
link(55,80) :- #0.108.
link(80,55) :- #0.207.
link(55,93) :- #0.173.
link(93,55) :- #0.413.
link(55,107) :- #0.12.
link(107,55) :- #0.731.
link(55,116) :- #0.584.
link(116,55) :- #0.617.
link(55,132) :- #0.433.
link(132,55) :- #0.7.
link(56,58) :- #0.019.
link(58,56) :- #0.641.
link(56,59) :- #0.018.
link(59,56) :- #0.641.
link(56,61) :- #0.6.
link(61,56) :- #0.851.
link(56,68) :- #0.147.
link(68,56) :- #0.741.
link(56,76) :- #0.595.
link(76,56) :- #0.695.
link(56,88) :- #0.966.
link(88,56) :- #0.366.
link(56,95) :- #0.241.
link(95,56) :- #0.005.
link(56,100) :- #0.781.
link(100,56) :- #0.108.
link(56,111) :- #0.7.
link(111,56) :- #0.904.
link(56,112) :- #0.946.
link(112,56) :- #0.855.
link(56,114) :- #0.888.
link(114,56) :- #0.019.
link(56,118) :- #0.657.
link(118,56) :- #0.273.
link(56,124) :- #0.373.
link(124,56) :- #0.543.
link(56,125) :- #0.846.
link(125,56) :- #0.863.
link(56,135) :- #0.665.
link(135,56) :- #0.944.
link(57,62) :- #0.197.
link(62,57) :- #0.421.
link(57,66) :- #0.185.
link(66,57) :- #0.759.
link(57,75) :- #0.838.
link(75,57) :- #0.102.
link(57,86) :- #0.247.
link(86,57) :- #0.417.
link(57,95) :- #0.183.
link(95,57) :- #0.988.
link(57,97) :- #0.466.
link(97,57) :- #0.145.
link(57,106) :- #0.462.
link(106,57) :- #0.418.
link(57,108) :- #0.544.
link(108,57) :- #0.042.
link(57,121) :- #0.824.
link(121,57) :- #0.348.
link(57,122) :- #0.849.
link(122,57) :- #0.713.
link(58,82) :- #0.038.
link(82,58) :- #0.848.
link(58,94) :- #0.297.
link(94,58) :- #0.794.
link(58,130) :- #0.485.
link(130,58) :- #0.679.
link(58,133) :- #0.904.
link(133,58) :- #0.086.
link(59,69) :- #0.588.
link(69,59) :- #0.756.
link(59,77) :- #0.719.
link(77,59) :- #0.346.
link(59,78) :- #0.305.
link(78,59) :- #0.59.
link(59,99) :- #0.633.
link(99,59) :- #0.319.
link(59,101) :- #0.915.
link(101,59) :- #0.387.
link(59,107) :- #0.555.
link(107,59) :- #0.86.
link(59,108) :- #0.769.
link(108,59) :- #0.009.
link(59,110) :- #0.315.
link(110,59) :- #0.856.
link(59,111) :- #0.89.
link(111,59) :- #0.054.
link(59,126) :- #0.291.
link(126,59) :- #0.614.
link(60,62) :- #0.474.
link(62,60) :- #0.008.
link(60,74) :- #0.501.
link(74,60) :- #0.806.
link(60,84) :- #0.252.
link(84,60) :- #0.899.
link(60,98) :- #0.819.
link(98,60) :- #0.583.
link(60,102) :- #0.954.
link(102,60) :- #0.679.
link(60,107) :- #0.983.
link(107,60) :- #0.875.
link(60,110) :- #0.444.
link(110,60) :- #0.613.
link(60,118) :- #0.543.
link(118,60) :- #0.921.
link(61,66) :- #0.468.
link(66,61) :- #0.924.
link(61,67) :- #0.187.
link(67,61) :- #0.029.
link(61,73) :- #0.101.
link(73,61) :- #0.765.
link(61,98) :- #0.781.
link(98,61) :- #0.169.
link(61,101) :- #0.04.
link(101,61) :- #0.033.
link(61,121) :- #0.772.
link(121,61) :- #0.191.
link(61,127) :- #0.798.
link(127,61) :- #0.396.
link(61,133) :- #0.316.
link(133,61) :- #0.855.
link(62,83) :- #0.926.
link(83,62) :- #0.218.
link(62,89) :- #0.182.
link(89,62) :- #0.043.
link(62,107) :- #0.594.
link(107,62) :- #0.403.
link(62,133) :- #0.139.
link(133,62) :- #0.103.
link(63,72) :- #0.871.
link(72,63) :- #0.871.
link(63,73) :- #0.486.
link(73,63) :- #0.327.
link(63,78) :- #0.716.
link(78,63) :- #0.759.
link(63,86) :- #0.728.
link(86,63) :- #0.804.
link(63,106) :- #0.203.
link(106,63) :- #0.127.
link(63,107) :- #0.183.
link(107,63) :- #0.874.
link(63,110) :- #0.448.
link(110,63) :- #0.061.
link(63,129) :- #0.712.
link(129,63) :- #0.869.
link(64,70) :- #0.844.
link(70,64) :- #0.527.
link(64,84) :- #0.512.
link(84,64) :- #0.933.
link(64,87) :- #0.938.
link(87,64) :- #0.996.
link(64,120) :- #0.386.
link(120,64) :- #0.098.
link(64,127) :- #0.776.
link(127,64) :- #0.914.
link(65,72) :- #0.451.
link(72,65) :- #0.308.
link(65,96) :- #0.141.
link(96,65) :- #0.308.
link(65,110) :- #0.349.
link(110,65) :- #0.257.
link(65,121) :- #0.372.
link(121,65) :- #0.481.
link(65,123) :- #0.818.
link(123,65) :- #0.216.
link(66,68) :- #0.593.
link(68,66) :- #0.521.
link(66,71) :- #0.487.
link(71,66) :- #0.991.
link(66,86) :- #0.27.
link(86,66) :- #0.809.
link(66,97) :- #0.779.
link(97,66) :- #0.749.
link(66,98) :- #0.024.
link(98,66) :- #0.198.
link(66,118) :- #0.629.
link(118,66) :- #0.345.
link(66,121) :- #0.14.
link(121,66) :- #0.044.
link(66,122) :- #0.646.
link(122,66) :- #0.319.
link(66,128) :- #0.116.
link(128,66) :- #0.81.
link(67,82) :- #0.449.
link(82,67) :- #0.755.
link(67,84) :- #0.778.
link(84,67) :- #0.887.
link(67,87) :- #0.051.
link(87,67) :- #0.482.
link(67,120) :- #0.824.
link(120,67) :- #0.314.
link(67,131) :- #0.646.
link(131,67) :- #0.576.
link(68,79) :- #0.464.
link(79,68) :- #0.906.
link(68,92) :- #0.468.
link(92,68) :- #0.1.
link(68,104) :- #0.786.
link(104,68) :- #0.427.
link(68,116) :- #0.963.
link(116,68) :- #0.384.
link(68,132) :- #0.391.
link(132,68) :- #0.792.
link(68,133) :- #0.563.
link(133,68) :- #0.887.
link(69,78) :- #0.303.
link(78,69) :- #0.179.
link(69,127) :- #0.374.
link(127,69) :- #0.527.
link(69,130) :- #0.3.
link(130,69) :- #0.574.
link(70,71) :- #0.055.
link(71,70) :- #0.994.
link(70,76) :- #0.245.
link(76,70) :- #0.747.
link(70,99) :- #0.626.
link(99,70) :- #0.657.
link(70,127) :- #0.137.
link(127,70) :- #0.466.
link(70,128) :- #0.603.
link(128,70) :- #0.443.
link(71,85) :- #0.048.
link(85,71) :- #0.758.
link(71,94) :- #0.402.
link(94,71) :- #0.266.
link(71,99) :- #0.703.
link(99,71) :- #0.998.
link(71,102) :- #0.73.
link(102,71) :- #0.913.
link(71,105) :- #0.621.
link(105,71) :- #0.222.
link(71,111) :- #0.527.
link(111,71) :- #0.567.
link(71,116) :- #0.728.
link(116,71) :- #0.295.
link(71,118) :- #0.962.
link(118,71) :- #0.564.
link(71,125) :- #0.633.
link(125,71) :- #0.004.
link(72,88) :- #0.042.
link(88,72) :- #0.421.
link(72,92) :- #0.794.
link(92,72) :- #0.901.
link(72,94) :- #0.137.
link(94,72) :- #0.36.
link(72,96) :- #0.101.
link(96,72) :- #0.276.
link(72,113) :- #0.447.
link(113,72) :- #0.377.
link(72,135) :- #0.811.
link(135,72) :- #0.33.
link(73,83) :- #0.356.
link(83,73) :- #0.605.
link(73,90) :- #0.644.
link(90,73) :- #0.699.
link(73,95) :- #0.095.
link(95,73) :- #0.342.
link(73,97) :- #0.52.
link(97,73) :- #0.618.
link(73,98) :- #0.111.
link(98,73) :- #0.213.
link(73,99) :- #0.087.
link(99,73) :- #0.198.
link(73,106) :- #0.565.
link(106,73) :- #0.793.
link(73,112) :- #0.636.
link(112,73) :- #0.496.
link(73,113) :- #0.956.
link(113,73) :- #0.592.
link(73,127) :- #0.297.
link(127,73) :- #0.037.
link(74,90) :- #0.778.
link(90,74) :- #0.98.
link(74,94) :- #0.779.
link(94,74) :- #0.464.
link(74,96) :- #0.484.
link(96,74) :- #0.853.
link(74,110) :- #0.287.
link(110,74) :- #0.604.
link(74,130) :- #0.809.
link(130,74) :- #0.02.
link(75,86) :- #0.331.
link(86,75) :- #0.946.
link(75,112) :- #0.485.
link(112,75) :- #0.492.
link(75,114) :- #0.653.
link(114,75) :- #0.689.
link(75,116) :- #0.6.
link(116,75) :- #0.369.
link(75,132) :- #0.69.
link(132,75) :- #0.929.
link(76,83) :- #0.9.
link(83,76) :- #0.596.
link(76,92) :- #0.349.
link(92,76) :- #0.342.
link(76,105) :- #0.253.
link(105,76) :- #0.701.
link(76,132) :- #0.185.
link(132,76) :- #0.972.
link(77,89) :- #0.589.
link(89,77) :- #0.099.
link(77,92) :- #0.648.
link(92,77) :- #0.312.
link(77,93) :- #0.188.
link(93,77) :- #0.834.
link(77,95) :- #0.075.
link(95,77) :- #0.22.
link(77,100) :- #0.984.
link(100,77) :- #0.61.
link(78,80) :- #0.915.
link(80,78) :- #0.918.
link(78,82) :- #0.194.
link(82,78) :- #0.987.
link(78,89) :- #0.65.
link(89,78) :- #0.135.
link(78,108) :- #0.441.
link(108,78) :- #0.844.
link(78,114) :- #0.443.
link(114,78) :- #0.733.
link(78,118) :- #0.348.
link(118,78) :- #0.301.
link(78,120) :- #0.445.
link(120,78) :- #0.952.
link(78,134) :- #0.429.
link(134,78) :- #0.76.
link(79,85) :- #0.205.
link(85,79) :- #0.801.
link(79,107) :- #0.822.
link(107,79) :- #0.255.
link(79,122) :- #0.951.
link(122,79) :- #0.518.
link(80,95) :- #0.781.
link(95,80) :- #0.093.
link(80,107) :- #0.827.
link(107,80) :- #0.274.
link(80,110) :- #0.868.
link(110,80) :- #0.357.
link(80,121) :- #0.041.
link(121,80) :- #0.011.
link(80,134) :- #0.854.
link(134,80) :- #0.068.
link(81,92) :- #0.478.
link(92,81) :- #0.2.
link(81,104) :- #0.606.
link(104,81) :- #0.213.
link(81,107) :- #0.507.
link(107,81) :- #0.272.
link(81,113) :- #0.852.
link(113,81) :- #0.763.
link(81,118) :- #0.653.
link(118,81) :- #0.946.
link(81,127) :- #0.845.
link(127,81) :- #0.907.
link(81,133) :- #0.736.
link(133,81) :- #0.876.
link(82,88) :- #0.497.
link(88,82) :- #0.743.
link(82,96) :- #0.013.
link(96,82) :- #0.163.
link(82,100) :- #0.808.
link(100,82) :- #0.406.
link(82,103) :- #0.575.
link(103,82) :- #0.85.
link(82,104) :- #0.941.
link(104,82) :- #0.307.
link(83,91) :- #0.564.
link(91,83) :- #0.475.
link(83,94) :- #0.542.
link(94,83) :- #0.59.
link(83,101) :- #0.843.
link(101,83) :- #0.939.
link(83,107) :- #0.088.
link(107,83) :- #0.954.
link(83,108) :- #0.44.
link(108,83) :- #0.097.
link(83,116) :- #0.758.
link(116,83) :- #0.375.
link(83,126) :- #0.802.
link(126,83) :- #0.612.
link(83,132) :- #0.474.
link(132,83) :- #0.392.
link(83,133) :- #0.474.
link(133,83) :- #0.4.
link(83,134) :- #0.057.
link(134,83) :- #0.307.
link(84,88) :- #0.133.
link(88,84) :- #0.612.
link(84,93) :- #0.475.
link(93,84) :- #0.806.
link(84,99) :- #0.566.
link(99,84) :- #0.05.
link(85,91) :- #0.792.
link(91,85) :- #0.97.
link(85,95) :- #0.595.
link(95,85) :- #0.681.
link(85,99) :- #0.883.
link(99,85) :- #0.838.
link(85,118) :- #0.565.
link(118,85) :- #0.696.
link(86,87) :- #0.315.
link(87,86) :- #0.506.
link(86,89) :- #0.616.
link(89,86) :- #0.239.
link(86,91) :- #0.84.
link(91,86) :- #0.195.
link(86,98) :- #0.031.
link(98,86) :- #0.366.
link(86,108) :- #0.991.
link(108,86) :- #0.574.
link(86,128) :- #0.508.
link(128,86) :- #0.243.
link(86,130) :- #0.692.
link(130,86) :- #0.627.
link(87,99) :- #0.765.
link(99,87) :- #0.659.
link(87,101) :- #0.155.
link(101,87) :- #0.098.
link(87,102) :- #0.875.
link(102,87) :- #0.118.
link(87,109) :- #0.588.
link(109,87) :- #0.49.
link(87,127) :- #0.43.
link(127,87) :- #0.537.
link(88,89) :- #0.126.
link(89,88) :- #0.24.
link(88,91) :- #0.045.
link(91,88) :- #0.674.
link(88,98) :- #0.539.
link(98,88) :- #0.06.
link(88,105) :- #0.972.
link(105,88) :- #0.02.
link(88,109) :- #0.536.
link(109,88) :- #0.127.
link(89,90) :- #0.023.
link(90,89) :- #0.159.
link(89,134) :- #0.232.
link(134,89) :- #0.239.
link(90,92) :- #0.748.
link(92,90) :- #0.384.
link(90,107) :- #0.437.
link(107,90) :- #0.994.
link(90,134) :- #0.585.
link(134,90) :- #0.17.
link(91,111) :- #0.076.
link(111,91) :- #0.365.
link(91,116) :- #0.488.
link(116,91) :- #0.51.
link(91,120) :- #0.125.
link(120,91) :- #0.583.
link(91,123) :- #0.561.
link(123,91) :- #0.96.
link(91,128) :- #0.871.
link(128,91) :- #0.326.
link(91,130) :- #0.234.
link(130,91) :- #0.878.
link(92,95) :- #0.157.
link(95,92) :- #0.812.
link(92,97) :- #0.322.
link(97,92) :- #0.784.
link(92,107) :- #0.976.
link(107,92) :- #0.333.
link(92,130) :- #0.415.
link(130,92) :- #0.347.
link(92,135) :- #0.784.
link(135,92) :- #0.982.
link(93,121) :- #0.707.
link(121,93) :- #0.344.
link(94,95) :- #0.081.
link(95,94) :- #0.283.
link(94,118) :- #0.064.
link(118,94) :- #0.225.
link(94,123) :- #0.915.
link(123,94) :- #0.023.
link(95,111) :- #0.425.
link(111,95) :- #0.03.
link(95,123) :- #0.481.
link(123,95) :- #0.793.
link(95,133) :- #0.994.
link(133,95) :- #0.379.
link(96,97) :- #0.743.
link(97,96) :- #0.59.
link(96,109) :- #0.987.
link(109,96) :- #0.639.
link(96,117) :- #0.301.
link(117,96) :- #0.7.
link(96,121) :- #0.421.
link(121,96) :- #0.053.
link(96,127) :- #0.421.
link(127,96) :- #0.136.
link(96,132) :- #0.826.
link(132,96) :- #0.47.
link(97,106) :- #0.214.
link(106,97) :- #0.992.
link(97,107) :- #0.138.
link(107,97) :- #0.841.
link(97,127) :- #0.453.
link(127,97) :- #0.423.
link(98,104) :- #0.137.
link(104,98) :- #0.226.
link(98,106) :- #0.059.
link(106,98) :- #0.908.
link(98,120) :- #0.842.
link(120,98) :- #0.796.
link(98,121) :- #0.066.
link(121,98) :- #0.357.
link(98,126) :- #0.315.
link(126,98) :- #0.931.
link(98,132) :- #0.204.
link(132,98) :- #0.204.
link(99,105) :- #0.624.
link(105,99) :- #0.95.
link(99,117) :- #0.411.
link(117,99) :- #0.399.
link(99,121) :- #0.627.
link(121,99) :- #0.166.
link(99,132) :- #0.603.
link(132,99) :- #0.395.
link(100,106) :- #0.953.
link(106,100) :- #0.631.
link(100,109) :- #0.345.
link(109,100) :- #0.289.
link(100,114) :- #0.871.
link(114,100) :- #0.285.
link(100,117) :- #0.337.
link(117,100) :- #0.119.
link(100,129) :- #0.711.
link(129,100) :- #0.831.
link(100,130) :- #0.462.
link(130,100) :- #0.277.
link(100,132) :- #0.347.
link(132,100) :- #0.91.
link(101,102) :- #0.779.
link(102,101) :- #0.633.
link(101,109) :- #0.957.
link(109,101) :- #0.552.
link(101,130) :- #0.233.
link(130,101) :- #0.572.
link(101,131) :- #0.41.
link(131,101) :- #0.923.
link(102,107) :- #0.686.
link(107,102) :- #0.85.
link(102,109) :- #0.148.
link(109,102) :- #0.461.
link(102,116) :- #0.356.
link(116,102) :- #0.255.
link(102,123) :- #0.26.
link(123,102) :- #0.396.
link(102,128) :- #0.237.
link(128,102) :- #0.271.
link(102,135) :- #0.476.
link(135,102) :- #0.448.
link(103,104) :- #0.924.
link(104,103) :- #0.474.
link(103,109) :- #0.358.
link(109,103) :- #0.356.
link(103,111) :- #0.422.
link(111,103) :- #0.602.
link(103,117) :- #0.824.
link(117,103) :- #0.643.
link(103,121) :- #0.572.
link(121,103) :- #0.356.
link(103,131) :- #0.076.
link(131,103) :- #0.073.
link(103,133) :- #0.296.
link(133,103) :- #0.868.
link(104,113) :- #0.628.
link(113,104) :- #0.265.
link(105,111) :- #0.566.
link(111,105) :- #0.672.
link(106,119) :- #0.742.
link(119,106) :- #0.598.
link(106,128) :- #0.275.
link(128,106) :- #0.336.
link(106,131) :- #0.544.
link(131,106) :- #0.201.
link(106,132) :- #0.692.
link(132,106) :- #0.991.
link(107,109) :- #0.24.
link(109,107) :- #0.61.
link(107,125) :- #0.052.
link(125,107) :- #0.625.
link(107,132) :- #0.439.
link(132,107) :- #0.605.
link(108,111) :- #0.891.
link(111,108) :- #0.74.
link(108,133) :- #0.723.
link(133,108) :- #0.229.
link(108,135) :- #0.746.
link(135,108) :- #0.984.
link(109,125) :- #0.664.
link(125,109) :- #0.882.
link(109,134) :- #0.82.
link(134,109) :- #0.309.
link(110,124) :- #0.796.
link(124,110) :- #0.363.
link(110,131) :- #0.551.
link(131,110) :- #0.791.
link(110,133) :- #0.955.
link(133,110) :- #0.37.
link(111,121) :- #0.882.
link(121,111) :- #0.1.
link(111,130) :- #0.733.
link(130,111) :- #0.318.
link(112,117) :- #0.523.
link(117,112) :- #0.041.
link(112,122) :- #0.594.
link(122,112) :- #0.696.
link(112,125) :- #0.85.
link(125,112) :- #0.237.
link(112,129) :- #0.911.
link(129,112) :- #0.852.
link(112,130) :- #0.127.
link(130,112) :- #0.701.
link(113,129) :- #0.674.
link(129,113) :- #0.277.
link(114,120) :- #0.877.
link(120,114) :- #0.42.
link(114,132) :- #0.657.
link(132,114) :- #0.6.
link(115,122) :- #0.815.
link(122,115) :- #0.589.
link(115,124) :- #0.369.
link(124,115) :- #0.646.
link(115,132) :- #0.564.
link(132,115) :- #0.318.
link(116,125) :- #0.135.
link(125,116) :- #0.802.
link(116,134) :- #0.224.
link(134,116) :- #0.621.
link(117,130) :- #0.157.
link(130,117) :- #0.369.
link(118,129) :- #0.747.
link(129,118) :- #0.738.
link(119,120) :- #0.735.
link(120,119) :- #0.573.
link(119,127) :- #0.553.
link(127,119) :- #0.08.
link(120,130) :- #0.824.
link(130,120) :- #0.088.
link(121,122) :- #0.865.
link(122,121) :- #0.736.
link(121,130) :- #0.666.
link(130,121) :- #0.526.
link(121,134) :- #0.279.
link(134,121) :- #0.857.
link(122,128) :- #0.927.
link(128,122) :- #0.841.
link(122,133) :- #0.053.
link(133,122) :- #0.798.
link(123,128) :- #0.09.
link(128,123) :- #0.428.
link(123,131) :- #0.678.
link(131,123) :- #0.438.
link(124,126) :- #0.069.
link(126,124) :- #0.188.
link(125,131) :- #0.639.
link(131,125) :- #0.156.
link(126,130) :- #0.2.
link(130,126) :- #0.691.
link(126,135) :- #0.524.
link(135,126) :- #0.807.
link(128,130) :- #0.029.
link(130,128) :- #0.806.
link(129,130) :- #0.309.
link(130,129) :- #0.362.
link(131,133) :- #0.091.
link(133,131) :- #0.965.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
